[IA64] get guest os type
authorAlex Williamson <alex.williamson@hp.com>
Fri, 11 May 2007 19:15:53 +0000 (13:15 -0600)
committerAlex Williamson <alex.williamson@hp.com>
Fri, 11 May 2007 19:15:53 +0000 (13:15 -0600)
commit2cf8e750ad65fefbb0489d47828f1e953f18e5de
treeac98e8079e1b1039d062efa04080d0bce6b2422a
parent625f73d3df3a60be6d3fccc5a83d59f6b68ed2f3
[IA64] get guest os type

This patch is to use GFW ACPI_OSI to identify guest OS type.
When ACPI_OSI gets OS type, it writes to a reserved port a
special val. then XEN can know the guest OS type.

NB. Linux returns true both for _OSI(linux) and _OSI(windows)

Signed-off-by: Zhang Xin <xing.z.zhang@intel.com>
Signed-off-by: Anthony Xu <anthony.xu@intel.com>
xen/arch/ia64/vmx/mmio.c
xen/arch/ia64/vmx/vmx_init.c
xen/include/asm-ia64/vmx_platform.h